#include "Count7.h"
Count7::Count7() {
    cnt = 0;
}

void Count7::count() {
    cnt = cnt + 1;
    cnt &= 0x7F;  // bit[6:0]
}

void Count7::load(const svBitVecVal* i){
    cnt = * i;
    cnt &= 0x7F;   // bit[6:0]
}

void Count7::reset() {
    cnt = 0;
}

int Count7::get() {
    return cnt;
}

Count7::~Count7() {
}
